منابع مشابه
Injecting uniformities into Peano arithmetic
We present a functional interpretation of Peano arithmetic that uses Gödel’s computable functionals and which systematically injects uniformities into the statements of finite-type arithmetic. As a consequence, some uniform boundedness principles (not necessarily set-theoretically true) are interpreted while maintaining unmoved the Π2-sentences of arithmetic. We explain why this interpretation ...
متن کاملInjecting the How into the What: Investigating a Finite Classical Logic
Computer scientists routinely design algorithms to efficiently solve problems found in nature. The resulting algorithms encapsulate the original problem as well as extra information about how to solve that problem; thus, nature’s original description that says what the problem is has been augmented with information about how to solve it. In this paper, we investigate the automation of this proc...
متن کاملInjecting Robustness into Autonomic Grid Systems
Autonomic computational grids are self-organizing software systems that pool the computational resources of large public networks to solve computationally-intensive problems. While autonomic grids can scale to networks far larger than centralized grids, they have not seen the same adoption and success in industry due to an incomplete treatment of fault tolerance. In this paper, we propose two c...
متن کاملInjecting Abstract Interpretations into Linear Cost Models
interpretation often considers Galois connections B −−−→ ←−−− α γ A where B is a powerset5 representing the concrete semantic domain, and A is a complete lattice representing the abstract Powersets are naturally equipped with a particular structure of complete lattice called boolean lattice [9]. 74 Injecting Abstract Interpretations into Linear Cost Models domain. In order to lift α into a line...
متن کاملInjecting Self-Organisation into Pervasive Service Ecosystems
Pervasive service ecosystems are a new paradigm for the design of context-aware systems featuring adaptivity and self-awareness. A theoretical and practical framework has been proposed for addressing these scenarios, taking primary inspirations from natural ecosystems and grounding upon two basic abstractions: “live semantic annotations” (LSAs), which are descriptions stored in infrastructure n...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Javnost - The Public
سال: 2014
ISSN: 1318-3222,1854-8377
DOI: 10.1080/13183222.2014.11073410